The associated zip file contains a README with the text below. The one zip file can be downloaded for use. =============================================================================== Purpose: This collection of files is intended to allow anyone to view logiclanguages.csx, a formal concept analysis of logic languages. It constitutes an easily-apprenended collection of assertions and comparisons of logic languages. Prerequisites: -- You must have a Java virtual machine. -- Testing has been done only in a Windows XP environment, but Unix, OS X, and Linux should work. Validity: Many of the distinctions are highly technical and the validity of the analysis has not been thoroughly vetted. It's expected and desired that revisions be made to improve the analysis. Copies: This material may be copied at will. Revisions: Please suggest corrections, additions, and emendations to Frederick N. Chase fchase@gmail.com fchase@chasegalleryconnect.org 617-388-5865 Siena creates and edits a concept lattice. http://toscanaj.sourceforge.net/siena/ In 2005, siena was described as a 'work in progress'. Although a draft user manual exists for Elba, a different concept lattice editor, there does not appear to be a user manual for Siena. ToscanaJ displays a concept lattice and allows you to interact a little with it. http://toscanaj.sourceforge.net/index.html http://www.kvocentral.org/kvopapers/ToscanaJ_User_Manual.pdf The instance of Siena/ToscanaJ here is not complete: the intent is to have only enough to edit and view the formal concept analysis of logic languages. Usage: Click run-siena.bat. Do File | Open | examples\nodb\logiclanguages.csx | Open. Select the Diagrams tab. Click/select logiclanguages. To see the context defining the diagram, do Edit | Context... . At the same time, if you have enough screen real estate, Click run-toscana.bat. Do File | Open | examples\nodb\logiclanguages.csx | Open. Use the left or right pointer to move the divider to a central position as needed. Click/select logiclanguages. Click 'Add Selected'. Do View | list. Try View | 'show all matches'. Try View | 'show only exact matches'. Meaning of Attributes: See the document 'logiclanguages.Definitions for a characterization of each attribute.